СЕМАНТИКА

(от греч. semantikos - обозначающий) - раздел языкознания и логики, в котором исследуются проблемы, связанные со смыслам, значением и интерпретацией знаков и знаковых выражений. В широком смысле С, наряду с синтактикой и прагматикой, является частью семиотики - комплекса философских и научных теорий, предметом которых являются свойства знаковых систем: естественных языков, искусственных языков науки (в том числе частично формализованных языков естественнонаучных теорий, логических и математических исчислений), различных систем знаковой коммуникации в человеческом обществе, животном мире и в технических информационных системах. При определенных допущениях знаковыми системами можно считать средства изобразительного искусства, музыки, архитектуры и говорить о С. языка искусства.

Ядро семантических исследований составляют разработки С. естественных языков и логической С. Эти проблемы традиционны для философии, они рассматриваются в контексте эпистемологических проблем и вопросов о сущности и функциях языка. Напр., в античной и средневековой философии одним из центральных был вопрос о соотношении имени и именуемой реальности. Философские аспекты С. естественного языка получили дальнейшее развитие в трудах Декарта, Лейбница, В. фон Гумбольдта, Пирса, Гуссерля и др. Большой вклад в семантические исследования внесли представители лингвистической философии. С. естественного языка изучается конкретными методами в лингвистике, в частности математической (Хомский и др.).

Ключевые проблемы С. получили точное выражение в связи с построением и изучением формализованных языков, формальных систем (исчислений). Содержательная интерпретация таких языков - предмет логической С, раздела логики, в котором изучается смысл и значение  понятий и суждений как выражений определенной логической системы и который ориентирован на содержательное обоснование логических правил и процедур, свойств непротиворечивости и полноты такой системы. К задачам логической С. относится экспликация понятий "смысл", "значение", "истинность", "ложность", "следование" и т.п. В своем современном виде логическая С. сформировалась благодаря трудам Пирса, Фреге, Рассела, Карнапа, Куайна, А. Черча, Тарского, Дж. Кемени, Крипке. Часто логическую С. разделяют на теорию референции (обозначения) и теорию смысла. Первая использует такие категории, как "имя", "определимость", "выполнимость" и др., вторая исследует отношение формализмов к тому, что они выражают. Ее основными понятиями являются понятия смысла, синонимии, аналитической и логической истинности. На уровне понятий и суждений важнейшими в логической С. является вопросы, связанные с различением между объемом и содержанием понятия, между истинностным значением и смыслом суждения. Это различение выражено в основном семантическом треугольнике - трехчленном отношении между предметом (событием), содержанием (смыслом) и именем. На уровне формальной системы центральным семантическим понятием является интерпретация, т.е. отображение формализмов системы на некоторую область реальных или идеальных объектов, в некоторую содержательную теорию или ее часть. В С. исследуются непротиворечивость и полнота таких систем при помощи различных семантических моделей; основную роль при этом играют определения понятия истинности. В настоящее время  построено множество различных типов семантических моделей.

П. И. Быстров